翻訳と辞書
Words near each other
・ avon
・ avs
・ aw
・ awe
・ awg
・ awk
・ awt
・ axe
・ axiom
・ axiom of choice
axiom of comprehension
・ axiom*
・ axiomatic architecture description language
・ axiomatic semantics
・ axiomatic set theory
・ axle
・ ayacc
・ ayt
・ az
・ azerty


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

axiom of comprehension : FOLDOC
Axiom of Comprehension
An {axiom schema} of set theory which states: if P(x) is a {property} then
{x : P}

is a set. I.e. all the things with some property form a set.
Acceptance of this axiom leads to Russell's Paradox which is why Zermelo set theory replaces it with a restricted form.
(1995-03-31)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.